if (window.addEventListener) {
  window.addEventListener('load', myFunction);
  } else if (window.attachEvent) {
  window.attachEvent('onload', myFunction); 
  };
function myFunction() {
  document.getElementById('nine').innerHTML = 'rotavator';}